3

Semisimples in Varieties of Commutative Integral Bounded Residuated Lattices

Year:
2016
Language:
english
File:
PDF, 592 KB
english, 2016
4

Topological representation for implication algebras

Year:
2004
Language:
english
File:
PDF, 184 KB
english, 2004
6

Ultraproducts of Z with an Application to Many-Valued Logics

Year:
1999
Language:
english
File:
PDF, 140 KB
english, 1999
8

The Poset of Primel-Ideals of an Abelianl-Group with a Strong Unit

Year:
1996
Language:
english
File:
PDF, 152 KB
english, 1996
9

Glivenko like theorems in natural expansions of BCK-logic

Year:
2004
Language:
english
File:
PDF, 204 KB
english, 2004
10

On The Role of The Polynomial (X → Y) → Y in Some Implicative Algebras

Year:
1988
Language:
english
File:
PDF, 345 KB
english, 1988
11

Free algebras in varieties of BL-algebras with a Boolean retract.

Year:
2002
Language:
english
File:
PDF, 313 KB
english, 2002
19

An Approach to Glivenko’s Theorem in Algebraizable Logics

Year:
2008
Language:
english
File:
PDF, 373 KB
english, 2008
27

Semisimplicity and the discriminator in bounded BCK-algebras

Year:
2010
Language:
english
File:
PDF, 251 KB
english, 2010
30

Free cancellative hoops

Year:
2000
Language:
english
File:
PDF, 34 KB
english, 2000
35

Cyclic Elements in MV-Algebras and Post Algebras

Year:
1994
Language:
english
File:
PDF, 649 KB
english, 1994
39

W-algebras which are Boolean products of members ofSR[1] andCW-algebras

Year:
1987
Language:
english
File:
PDF, 604 KB
english, 1987
42

Wajsberg algebras and post algebras

Year:
1994
Language:
english
File:
PDF, 1.04 MB
english, 1994
43

Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic

Year:
2003
Language:
english
File:
PDF, 147 KB
english, 2003
46

Bounded BCK-algebras and their generated variety

Year:
2007
Language:
english
File:
PDF, 170 KB
english, 2007
48

Decomposability of free Tarski algebras

Year:
2003
Language:
english
File:
PDF, 168 KB
english, 2003
50

Free Stone algebras

Year:
2000
Language:
english
File:
PDF, 85 KB
english, 2000